theoretical computer science
英 [ˌθɪəˈretɪkl kəmˈpjuːtə(r) ˈsaɪəns]
美 [ˌθiːəˈretɪkl kəmˈpjuːtər ˈsaɪəns]
网络 理论计算机科学; 关于理论计算科学; 理论计算机科学杂志; 理论计算机; 理论电脑科学
双语例句
- Third, on Thursdays we have theory seminar, a one-to-two-hour talk and discussion about interesting problems in theoretical computer science and mathematics.
第三，每个星期四我们都有理论研讨会，一到两个小时的时间进行交流和探讨有关在计算机科学和数学理论上感兴趣的问题。 - Concurrent computation model is one of the most important problems in theoretical computer science.
并发计算模型是计算机科学研究的重要问题之一。 - A fourth undergraduate program leads to the degree Bachelor's of Science in Mathematics with Computer Science; it is intended for students seriously interested in theoretical computer science.
第四种学士学位规划则是针对有兴趣研究理论计算机科学的数学与计算机科学学位。 - In recent years semantic ideas and methods have been emphasized in many branches of theoretical computer science.
近年来，逻辑中语义的思想与方法在理论计算机科学的许多分支中的渗透与应用，已愈来愈受重视。 - This paper provides an intuitive and easily understandable overview of some fundamental ideas in the area of theoretical computer science, especially those related to logic and semantics.
本文对理论计算机科学，特别是对其在逻辑与语义方面的基本思想作了一个直观易懂的综述，旨在使上述思想能为希望在该领域开拓视野之士敞开大门。 - This is a proposal in theoretical computer science and algorithmic game theory.
这是一个理论计算机科学和算法博弈论的题目。 - He is truly a heroic figure in theoretical computer science and a role model for his courage and creativity in addressing some of the deepest unsolved problems in science.
他是理论计算机科学领域里真正的英雄；他在解决某些悬而未决的科学问题上的勇气和创造力是人们学习的楷模。 - Graduate supervision is available in areas such as theoretical computer science, parallel and distributed computing, scientific computing, software systems, and artificial intelligence.
他们的研究涵盖在计算机科学的多个领域，包括理论计算机科学，并行和分配计算，科学计算机，软件系统和人工智能。 - Discrete mathematics is the common name for the fields of mathematics most generally useful in theoretical computer science.
离散数学是最普遍的数学理论计算机科学领域的有益的通用名称。 - Based on object-oriented ( OO) concept and theoretical system, this paper analyses and researches the advanced thought, mechanism and capability of OO method in a systematic way, and introduces the tremendous influence of OO way upon the development of computer science and industry.
以面向对象概念和理论体系为基础，系统研究和分析了面向对象方法的先进思想、机制和能力，以及它对整个计算机科学和工业发展所产生的巨大作用与影响。 - SAT Problem is a core problem in theoretical computer science. There are many ways to research into SAT Problem. Using the properties of minimal unsatisfiable formulas to study SAT Problem is a new hot way of research at present.
SAT问题（可满足性问题）是理论计算机科学的核心问题，研究SAT问题的方法很多，利用极小不可满足公式的性质来研究SAT问题是近几年的一个热点研究方向。 - To calculate the value of Gauss sums is one of important and difficult problems which has not only theoretical meaning in number theory and arithmetical geometry, but also practical applications in computer science, information theory and statistical designs.
高斯和的计算是一个重要和困难的问题，不仅在数论和算数几何中具有理论价值，而且在计算机科学、信息科学和试验设计等方面有实际的应用。 - The determination of Ramsey numbers is a very difficult problem in combinatorial mathematics. Ramsey numbers not only have important theoretical significance, but also may be applied to computer science, Communications, decision-making, and so on.
确定Ramsey数是著名的组合数学难题之一，不仅具有重大的理论意义，而且在计算机科学、通信、管理决策等许多领域有实际应用。 - The concept, theoretical basis, visualization process, implementation technique and visualization system of metallogenic visualization are introduced. It is concluded that metallogenic visualization, a inter-disciplinary subject between ore deposit and computer science, is a new growing point of ore deposit devel-opment.
讨论了成矿可视化的概念、理论基础、可视化流程和实现技术及可视化系统等问题，指出成矿可视化是介于矿床学和计算机科学之间的一门边缘科学，将成为矿床学发展的新的生长点。 - The introduction of Domain theory is originated from two different kinds of background: one is the study of functional language in the theoretical computer science, the other is the study of pure mathematics.
Domain理论的提出来源于两个不同的背景：一个是理论计算机中的函数式语言的研究，一个是纯数学的研究。 - Computational geometry is a vital sub-domain in the theoretical computer science domain, its research result has already gotten an extensive application in the computer graphics, the chemistry, the statistics, the pattern recognition, the geographic database and other many domains.
计算几何是理论计算机科学领域中极有生命力的子领域，其研究成果已在计算机图形学、化学、统计分析、模式识别、地理数据库以及其他许多领域中得到了广泛的应用。 - Model Theoretic Logic and Theoretical Computer Science
模型论逻辑与理论计算机科学 - The algorithm is the theoretical core of computer science.
算法是计算机科学的理论核心。 - This work has been accepted by the prestigious journal Theoretical Computer Science.
这项工作已被著名的TheoreticalComputerScience杂志接受。 - The paper discusses the theoretical basis, overall thought and specific contents of reform in the teaching of computer science course at medical colleges and universities. It proposes the "1+ X" teaching scheme and principles of the application-oriented reform.
探讨了医学院校计算机课程教学改革的理论依据、总体思路和具体的改革内容，提出了1+x教学方案和面向应用的教改原则。 - The theory of NP-completeness is recently a new area in the study of mathematical and theoretical computer science in the world.
NP完全性理论是国际上数学与计算机科学理论研究的新领域。 - Therefore, for both practical and theoretical reasons, sorting is probably one of the most widely studied problems in computer science.
因此，对排序问题的研究具有广泛的实用价值和重要的理论意义。 - In the world the hybrid system came up in the eighties of 20th century, so far the theoretical frame of hybrid system has been built up, which enables the connection between computer science and mathematics, subsequently forms a new kind of subject.
国际上对混成系统的研究自20世纪80年代兴起，到目前为止已经初步建立了混成动态系统理论框架，为控制科学、计算机科学与数学之间架起了一座桥梁，形成了一种新的学科。 - Computational fluid Dynamics is an interdisciplinary science based on theoretical fluidmechanics 、 computational mathematics and computer science.
计算流体力学以理论流体力学，计算数学和计算机科学为基础，是一门交叉学科。 - Research and development of hybrid systems is growing both with the theoretical science in computer and science in control, it is a new interdisciplinary research subject.
混杂系统是由控制理论科学结合计算机科学发展而来的，它是一种跨学科的新的研究课题。 - The development of linguistics and lexicography which have built up a strong theoretical foundation, also computer science, computational linguistics, computational lexicography, corpus linguistics and corpus which provides a strong technology and resources protection for the development of electronic dictionary.
语言学、词学的发展为其打下了坚实的理论础，计算科学、计算语言学、计算词学、语料库语言学及语料库的发展为其实现己的目标供了强有力的技支持和资源保障。 - Algorithmic mechanism design is a cross disciplinary of theoretical computer sci-ence and mechanism design, and it is one of the hottest research spots in the field of theoretical computer science.
算法机制设计是计算杨理论科学和机制设计的交叉学科，是当前国际上理论计算机领域里的研究热点之一。 - The crossing number is an important measure of non-planarity of a graph, with applications in discrete and computational geometry, VLSI circuit design, and in several other areas of mathematics and theoretical computer science.
交叉数是图的非平面性的一个重要度量，已广泛应用于离散和计算几何、VLSI电路设计以及数学和理论计算机科学的其它领域。 - SAT is not only a classical problem of theoretical computer science, but also the first NP complete problem which has been discovered.
SAT是理论计算机科学中的一个经典问题，也是被发现的第一个NP完全问题。